Contextuality and Information Systems: how the interplay between paradigms can help

Through this paper, we theorize on the meanings and roles of context in the study of information systems. The literatures of information systems and information science both explicitly conceptualize information systems (and there are multiple overlapping definitions). These literatures also grapple with the situated and generalizable natures of an information system. Given these shared interests and common concerns, this paper is used as a vehicle to explore the roles of context and suggests how multi-paradigmatic research ??? another shared feature of both information science and information systems scholarship ??? provides a means to carry forward more fruitful studies of information systems. We discuss the processes of reconstructed logic and logic-in-use in terms of studying information systems. We argue that what goes on in the practice of researchers, or the logic-in-practice, is typified by what we are calling the contextuality problem. In response, we envision a reconstructed logic, which is an idealization of academic practices regarding context. The logic-in-use of the field is then further explained based on two different views on context. The paper concludes by proposing a model for improving the logic-in-use for the study of information systems

Context Semantics, Linear Logic and Computational Complexity

We show that context semantics can be fruitfully applied to the quantitative analysis of proof normalization in linear logic. In particular, context semantics lets us define the weight of a proof-net as a measure of its inherent complexity: it is both an upper bound to normalization time (modulo a polynomial overhead, independently on the reduction strategy) and a lower bound to the number of steps to normal form (for certain reduction strategies). Weights are then exploited in proving strong soundness theorems for various subsystems of linear logic, namely elementary linear logic, soft linear logic and light linear logic.Comment: 22 page

Buddhist Philosophy of Logic

Logic in Buddhist Philosophy concerns the systematic study of anumāna (often translated as inference) as developed by Dignāga (480-540 c.e.) and Dharmakīti (600-660 c.e.). Buddhist logicians think of inference as an instrument of knowledge (pramāṇa) and, thus, logic is considered to constitute part of epistemology in the Buddhist tradition. According to the prevalent 20th and early 21st century ‘Western’ conception of logic, however, logical study is the formal study of arguments. If we understand the nature of logic to be formal, it is difficult to see what bearing logic has on knowledge. In this paper, by weaving together the main threads of thought that are salient in Dignāga’s and Dharmakīti’s texts, I shall re-conceive the nature of logic in the context of epistemology and demarcate the logical part of epistemology which can be recognised as logic. I shall demonstrate that we can recognise the logical significance of inference as understood by Buddhist logicians despite the fact that its logical significance lies within the context of knowledge

Eigenlogic: Interpretable Quantum Observables with applications to Fuzzy Behavior of Vehicular Robots

This work proposes a formulation of propositional logic, named Eigenlogic, using quantum observables as propositions. The eigenvalues of these operators are the truth-values and the associated eigenvectors the interpretations of the propositional system. Fuzzy logic arises naturally when considering vectors outside the eigensystem, the fuzzy membership function is obtained by the Born rule of the logical observable.This approach is then applied in the context of quantum robots using simple behavioral agents represented by Braitenberg vehicles. Processing with non-classical logic such as multivalued logic, fuzzy logic and the quantum Eigenlogic permits to enlarge the behavior possibilities and the associated decisions of these simple agents